From: Florian Müllner <fmuellner@gnome.org>
Date: Thu, 30 Jul 2015 13:54:16 +0000 (+0200)
Subject: windowMenu: Use CHECK ornament rather than DOT
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~1280
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=fc45cf03bf07e67c04c33cce2a3adca0e88d4917;p=gnome-shell.git

windowMenu: Use CHECK ornament rather than DOT

The dot suggests a radio action, while the items are actually toggles;
in the app menu we use checkmarks in that case, so do the same here.
---

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index 001047afe..7aa45919b 100644
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -74,7 +74,7 @@ const WindowMenu = new Lang.Class({
                 window.make_above();
         }));
         if (window.is_above())
-            item.setOrnament(PopupMenu.Ornament.DOT);
+            item.setOrnament(PopupMenu.Ornament.CHECK);
         if (window.get_maximized() == Meta.MaximizeFlags.BOTH ||
             type == Meta.WindowType.DOCK ||
             type == Meta.WindowType.DESKTOP ||
@@ -93,7 +93,7 @@ const WindowMenu = new Lang.Class({
                     window.stick();
             }));
             if (isSticky)
-                item.setOrnament(PopupMenu.Ornament.DOT);
+                item.setOrnament(PopupMenu.Ornament.CHECK);
             if (window.is_always_on_all_workspaces())
                 item.setSensitive(false);